step-counting predicate

[数] 计步谓词